proof theory câu

• It’s more related to proof theory, in fact!
  Thông tin còn ở dạng giả thuyết thì đúng hơn.
• In proof theory, proofs and theorems are also mathematical objects.
  Trong lý thuyết chứng minh, các chứng minh và định lý cũng là các đối tượng toán học.
• In these areas, recursion theory overlaps with proof theory and effective descriptive set theory.
  Trong các lĩnh vực này, lý thuyết đệ quy trùng lặp với lý thuyết chứng minh và lý thuyết tập hợp mô tả hiệu quả.
• He is also known as one of the founders of proof theory, mathematical logic and the distinction between mathematics and metamathematics.
  Ông là một trong những sáng lập viên của lý thuyết chứng minh, logic toán học và sự phân biệt giữa toán học và meta-toán học.
• He is also known as one of the founders of proof theory, mathematical logic and the distinction between mathematics and metamathematics.
  Ông là một trong những sáng lập viên của lý thuyết chứng minh logic toán học và sự phân biệt giữa toán học và meta toán học.
• If proof theory and model theory have been the foundation of mathematical logic, they have been but two of the four pillars of the subject.
  Nếu như lý thuyết chứng minh và lý thuyết mô hình đã là cơ sở của logic toán học, thì chúng chỉ là hai trong bốn trụ cột của ngành học đó.
• Kleene's work with the proof theory of intuitionistic logic showed that constructive information can be recovered from intuitionistic proofs.
  Công trình của Kleene với lý thuyết bằng chứng về logic trực giác cho thấy thông tin mang tính xây dựng có thể được phục hồi từ các bằng chứng trực giác.
• Kleene’s work with the proof theory of intuitionistic logic showed that constructive information can be recovered from intuitionistic proofs.
  Công trình của Kleene với lý thuyết bằng chứng về logic trực giác cho thấy thông tin mang tính xây dựng có thể được phục hồi từ các bằng chứng trực giác.
• The subsequent achievements of proof theory at the very least clarified consistency as it relates to theories of central concern to mathematicians.
  Những thành tựu sau đó của lý thuyết chứng minh ít nhất là làm rõ thêm sự nhất quán khi nó liên hệ đến các lý thuyết nằm trong tầm quan tâm chung của các nhà toán học.
• Nevertheless, the subsequent achievements of proof theory at the very least clarified consistency as it relates to theories of central concern to mathematicians.
  Những thành tựu sau đó của lý thuyết chứng minh ít nhất là làm rõ thêm sự nhất quán khi nó liên hệ đến các lý thuyết nằm trong tầm quan tâm chung của các nhà toán học.
• Both the statement of Hilbert's program and its refutation by Gödel depended upon their work establishing the second area of mathematical logic, the application of mathematics to logic in the form of proof theory.
  Cả khẳng định của Chương trình Hilbert và sự phủ nhận nó bởi Gödel đều dựa trên các công trình của họ, thiết lập nên lãnh vực thứ hai của logic toán học, áp dụng của toán học vào logic dưới hình thức lý thuyết chứng minh.
• Both the statement of Hilbert's Program and its refutation by Gцdel depended upon their work establishing the second area of mathematical logic, the application of mathematics to logic in the form of proof theory.
  Cả khẳng định của Chương trình Hilbert và sự phủ nhận nó bởi Gödel đều dựa trên các công trình của họ, thiết lập nên lãnh vực thứ hai của logic toán học, áp dụng của toán học vào logic dưới hình thức lý thuyết chứng minh.
• Both the statement of Hilbert's Program and its refutation by Gödel depended upon their work establishing the second area of mathematical logic, the application of mathematics to logic in the form of proof theory.
  Cả khẳng định của Chương trình Hilbert và sự phủ nhận nó bởi Gödel đều dựa trên các công trình của họ, thiết lập nên lãnh vực thứ hai của logic toán học, áp dụng của toán học vào logic dưới hình thức lý thuyết chứng minh.